#include "init.h"
#include "common/boot_info.h"
#include "cpu/cpu.h"
/**
 * @brief 
 * 
 */
void kernel_init(boot_info_t *  boot_info){
    cpu_init();

}

void init_main(void){
    for(;;){
        
    }
}